101. Functional and logic programming.
پدیدآورنده: Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA
،
76
.
62
،.
F84
،
2010
102. Functional and logic programming
پدیدآورنده: / Masami Hagiya, Philip Wadler (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses,Logic programming--Congresses
رده :
QA
,
76
.
62
,.
F84
,
2006
103. Functional and logic programming
پدیدآورنده: / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F56
2010
104. Functional and logic programming
پدیدآورنده: Tom Schrijvers, Peter Thiemann (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F85
2011eb
105. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
پدیدآورنده: Aart Middeldorp, Taisuke Sato )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1722
106. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
پدیدآورنده: Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2441
107. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
پدیدآورنده: Herbert Kuchen, Kazunori Ueda )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2024
108. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده: Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
109. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
110. Fuzzy logic theory, programming and applications
پدیدآورنده: Raymond E. Vargas editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Fuzzy sets,، Fuzzy logic
رده :
QA
248
.
5
.
F884
2009
111. Fuzzy logic: theory, programming, and applications
پدیدآورنده: ]edited by[ Raymond E. Vargas
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Fuzzy sets,، Fuzzy logic
رده :
QA
248
.
5
.
F884
112. Fuzzy logic toolbox: for use with MATLAB: computation, visualation, programming: usrer's guide, version 2
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Software ، Numerical analysis,Software ، Fuzzy systems
رده :
QA
297
.
F99
113. Fvji international workshop on functional and logic programming
پدیدآورنده: / editors Masato Takeichi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Programming languages (Electronic Computers)
رده :
005
.
13
F949
114. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
115. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
116. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
117. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
118. Implementations of Logic Programming Systems
پدیدآورنده: edited by Evan Tick, Giancarlo Succi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.
رده :
QA76
.
63
E358
1994
119. Implementations of logic programming systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
I48
1994
120. Inductive Logic Programming
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامه‌نویسی منطقی -- کنگره‌ها,استقرا (منطق) -- کنگره‌ها
رده :
E-Book
,
